-
1 bij-versteklogica
• default logic -
2 выбор по умолчанию
Русско-английский большой базовый словарь > выбор по умолчанию
-
3 дисковод принимаемый по умолчанию
Русско-английский большой базовый словарь > дисковод принимаемый по умолчанию
-
4 значение параметра по умолчанию
Русско-английский большой базовый словарь > значение параметра по умолчанию
-
5 присваивание по умолчанию
Русско-английский большой базовый словарь > присваивание по умолчанию
-
6 диск по умолчанию
Русско-английский словарь по информационным технологиям > диск по умолчанию
-
7 заданный по умолчанию
Русско-английский словарь по информационным технологиям > заданный по умолчанию
-
8 параметр по умолчанию
Русско-английский словарь по информационным технологиям > параметр по умолчанию
-
9 реакция по умолчанию
Русско-английский словарь по информационным технологиям > реакция по умолчанию
-
10 назначать по умолчанию
Русско-английский новый политехнический словарь > назначать по умолчанию
-
11 по умолчанию
-
12 использовать по умолчанию
Русско-английский словарь по информационным технологиям > использовать по умолчанию
-
13 использованный по умолчанию
Русско-английский словарь по информационным технологиям > использованный по умолчанию
-
14 по умолчанию
Русско-английский словарь по информационным технологиям > по умолчанию
-
15 логика рассуждений по умолчанию
Computers: default logicУниверсальный русско-английский словарь > логика рассуждений по умолчанию
-
16 логика умолчания
Information technology: default logic -
17 логическая неисправность
Русско-английский большой базовый словарь > логическая неисправность
-
18 поиск неисправностей
1. troubleshooting2. fault look-up3. fault tracing4. fault lookupРусско-английский большой базовый словарь > поиск неисправностей
См. также в других словарях:
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
Default — may refer to: Default (law), the failure to do something required by law Default judgment Default (finance), failure to satisfy the terms of a loan obligation or to pay back a loan Default (computer science), a preset setting or value Default… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Default Probability — The degree of likelihood that the borrower of a loan or debt will not be able to make the necessary scheduled repayments. Should the borrower be unable to pay, they are then said to be in default of the debt, at which point the lenders of the… … Investment dictionary
Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences … Wikipedia
Autoepistemic logic — The autoepistemic logic is a formal logic aimed at formalizing representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about… … Wikipedia
Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… … Wikipedia
Defeasible logic — is a non monotonic logic proposed by Donald Nute to formalize defeasible reasoning. In defeasible logic, there are three different types of propositions: strict rules specify that a fact is always a consequence of another; defeasible… … Wikipedia
Late medieval logic — Paul Vincent Spade I Medieval logic encompassed more than what we call logic today. It included semantics, philosophy of language, parts of physics, of philosophy of mind and of epistemology. Late medieval logic began around 1300 and lasted… … History of philosophy
Espresso heuristic logic minimizer — The Espresso logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits.[1] Espresso was developed at IBM by Robert Brayton. Rudell later published the … Wikipedia